type go/types.unifier
14 uses
go/types (current package)
unify.go#L72: type unifier struct {
unify.go#L92: func newUnifier(check *Checker, tparams []*TypeParam, targs []Type, enableInterfaceInference bool) *unifier {
unify.go#L106: return &unifier{check, handles, 0, enableInterfaceInference}
unify.go#L144: func (u *unifier) unify(x, y Type, mode unifyMode) bool {
unify.go#L148: func (u *unifier) tracef(format string, args ...any) {
unify.go#L155: func (u *unifier) String() string {
unify.go#L189: func (u *unifier) join(x, y *TypeParam) bool {
unify.go#L215: func (u *unifier) asBoundTypeParam(x Type) *TypeParam {
unify.go#L226: func (u *unifier) setHandle(x *TypeParam, h *Type) {
unify.go#L237: func (u *unifier) at(x *TypeParam) Type {
unify.go#L243: func (u *unifier) set(x *TypeParam, t Type) {
unify.go#L252: func (u *unifier) unknowns() int {
unify.go#L266: func (u *unifier) inferred(tparams []*TypeParam) []Type {
unify.go#L287: func (u *unifier) nify(x, y Type, mode unifyMode, p *ifacePair) (result bool) {